Megpróbáló ajándék, tartalmas búcsú – Horváth Andor-invokációk

Winners of the Csaba Horváth Medal 2000 - Dr . Csaba Horváth 2001 - Dr . Leslie Ettre 2002 - Dr . William S .

Strategies for Scheduling And - andOr - Work in Parallel Logic Program

Recent parallel logic programming systems, such as Andorra-I, can exploit multiple forms of parallelism, and-and or-parallelism, in logic programs. In order to eeectively exploit both kinds of parallelism, such systems must address one problem not yet tackled in logic programming systems, namely how to distribute resources between two diierent kinds of parallel work, and-and or-work. This paper...

Connecticut Separation Science Council Presents 10 th Annual Csaba Horváth

AUTOMATIC GENERATION OF PLATFORM SPECIFIC MODEL TRANSFORMATION by Ákos Horváth

Imre Horváth A treatise on order in engineering design research

Engineering design research shows a rather fragmented, if not a chaotic, picture. But does it have a hidden order? Can we explore it, or should we impose a reasoning model? This paper looks for the answer in the purpose of engineering design. It is destined to sustain human existence and well being by virtual creation of artifacts and services for the society. To this end, the engineering desig...